\begin{tabbing}
receives(${\it dE}$; ${\it dL}$; ${\it pred?}$; ${\it info}$; $p$; $e$; $l$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter(\=($\lambda$$r$.rcv{-}from{-}on(${\it dE}$; ${\it dL}$; ${\it info}$; $e$; $l$; $r$));\+
\\[0ex]eventlist(${\it pred?}$; sends{-}bound($p$; $e$; $l$)))
\-
\end{tabbing}